CTMCs with Costs and Rewards
نویسنده
چکیده
We consider continuous time Markov chains (CTMCs) where there are costs and rewards associated with each state. For such a CTMC the objective usually is to calculate either the long-run average costs incurred per unit time or the total discounted cost incurred over an infinite horizon. We illustrate the calculations using several examples and conclude with applications to system performance analysis. Consider a system that can be modeled as a CTMC {X(t), t ≥ 0} such that X(t) is the state of the system at time t. Note that X(t) could possibly be a vector but for notational convenience we sometimes write P{X(t) = j} with the understanding that j in those cases is also a vector. Let S be the state space of this CTMC, i.e. the set of all possible values of X(t) for all t. We use the notation Q to denote the infinitesimal generator matrix of the CTMC with negative values along the diagonals such that each row sums to zero. For terminologies and notation used for CTMCs refer to earlier articles of this encyclopedia. The reader is also encouraged to consult texts such as Kulkarni [1] and Ross [2]. For CTMCs with costs and rewards, an additional piece of notation is necessary. Define Ci as the cost incurred by the system per unit time it spends in state i, for all i ∈ S. Notice that if Ci is negative it is equivalent to the system getting a reward (as opposed to cost) of −Ci per unit time it spends in state i. Here we present only analysis of systems over an infinite horizon. In particular, we consider two infinite horizon cases: average costs and discounted costs. Each case has its own pros and cons that we will subsequently discuss along with some examples. Then we conclude by presenting applications to performance analysis.
منابع مشابه
Stochastic Model Checking
This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model checking algorithms are given for verifying DTMCs and CTMCs against specifications written in probabilistic extensions of temporal logic, including quantitative properties with rewards. Example properties include the probability that a fault occurs and the expected n...
متن کاملThird International Conference on Performance of Distributed Systems and Integrated Communication Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets. 5.3.2 Non-homogeneous Ctmcs 5.2.1 Stiness Avoidance 5.2.2 Stiness Tolerance
In this tutorial, we discuss several practical issues regarding speci cation and solution of dependability and performability models. We compare model types with and without rewards. Continuous-time Markov chains (CTMCs) are compared with (continuous-time) Markov reward models (MRMs) and generalized stochastic Petri nets (GSPNs) are compared with stochastic reward nets (SRNs). It is shown that ...
متن کاملPerformance Evaluation : = (Process Algebra + Model Checking) × Markov Chains
Markov chains are widely used in practice to determine system performance and reliability characteristics. The vast majority of applications considers continuous-time Markov chains (CTMCs). This tutorial paper shows how successful model specification and analysis techniques from concurrency theory can be applied to performance evaluation. The specification of CTMCs is supported by a stochastic ...
متن کاملA Longitudinal Test of the Investment Model: The Impact on Job Satisfaction, Job Commitment, and Turnover of Variations in Rewards, Costs, Alternatives, and Investments
A longitudinal study of moderately professionalized technical workers was conducted to test a vanety of investment model (Farrell & Rusbult, 1981) predictions concerning the determinants of job satisfaction, job commitment, and turnover In general, greater job satisfaction resulted from high job rewards and low job costs, whereas strong job commitment was produced by high rewards, low costs, po...
متن کاملMental fatigue: costs and benefits.
A framework for mental fatigue is proposed, that involves an integrated evaluation of both expected rewards and energetical costs associated with continued performance. Adequate evaluation of predicted rewards and potential risks of actions is essential for successful adaptive behaviour. However, while both rewards and punishments can motivate to engage in activities, both types of motivated be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010